Intensional Logic Translation for Quantitative Natural Language Sentences
نویسندگان
چکیده
The performance of some natural language processing tasks improves if semantic processing is involved. Moreover, some tasks ( database query) cannot be carried out at all without semantic processing. The first semantic description was developed by Montague and all later approach to semantic in the frame of discourse representation theory follow Montague in using more powerful logic language. The present paper is a contribution in treatment of quantitative natural sentences.
منابع مشابه
Analyzing Time-Related Clauses in Transparent Intensional Logic
The Normal Translation Algorithm (NTA) for Transparent Intensional Logic (TIL) describes the key parts of standard translation from natural language sentences to logical formulae. NTA was specified for the Czech language as a representative of a free-word-order language with rich morphological system. In this paper, we describe the implementation of the sentence building part of NTA within a mo...
متن کاملBilingual Logical Analysis of Natural Language Sentences
One of the main aims of logical analysis of natural language expressions lies in the task to capture the meaning structures independently on the selected “mean of transport,” i.e. on a particular natural language used. Logical analysis should just offer a “bridge between language expressions.” In this paper, we show the preliminary results of automated bilingual logical analysis, namely the ana...
متن کاملVerb Valency Semantic Representation for Deep Linguistic Processing
In the paper, we describe methods for exploitation of a new lexical database of valency frames (VerbaLex) in relation to Transparent Intensional Logic (TIL). We present a detailed description of the Complex Valency Frames (CVF) as they appear in VerbaLex including basic ontology of the VerbaLex semantic roles. TIL is a typed logical system developed for natural language semantic representation ...
متن کاملFrom Natural Language to RDF Graphs with Pregroups
We define an algorithm translating natural language sentences to the formal syntax of RDF, an existential conjunctive logic widely used on the Semantic Web. Our translation is based on pregroup grammars, an efficient type-logical grammatical framework with a transparent syntax-semantics interface. We introduce a restricted notion of side effects in the semantic category of finitely generated fr...
متن کاملMultilinguality Adaptations of Natural Language Logical Analyzer
The AST (automated semantic analysis) system serves as a final pipeline component in translating natural language sentences to formulae of higher-order logic formalism, the Transparent Intensional Logic (TIL). TIL was designed as a full expressive tool capable of representing complex meaning relations of natural language expressions. AST was designed as a language independent tool, which was or...
متن کامل